COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	          TEST PHENAR      
C00007 ENDMK
C⊗;
         ; TEST PHENAR ;     

 
  (DE FOO A B C D E F WHILE CDR A SETQ B A SETQ A CDR A SETQ C B 
          SETQ D C SETQ E D SETQ F E SETQ A F PRINT F)) 

  (DE FOO A B C D E WHILE A SETQ B A SETQ C B SETQ D C SETQ E D 
          SETQ A CDR A SETQ A E))

 (DE FOO A B WHILE SETQ A CDR A PRINT A))

 (DE FOO A B WHILE SETQ A CDR B PRINT A))

 (DE FOO A FOO SUB1 A)) 

 (DE FOO A FOO ADD1 A))

 (DE FOO A TIMES AA FOA SUB1B A))

 (DE FOO A PLUS A FOO SUB A)))

 (DE FOO A CONS CAR A FOO CDR A)
 
 (DE FOO A IF NULL A NIL CONS CAR A FOO SUB1 A))))

 (DE FOO A B TIMES BB DD1 FOA SBU1 AA)

 (DE FOO A B IF GT A B 1 FOO SUB1 A ADD1 B) 

 (DE FOO A B IF NULL B A FOO CDR A CONS CAR A B)))

 (DE FOO N L CONS CAR L FOO SUB1 N CDR L))
 
 (de foo l times car l foo cdr l)))

(de foo l times foo cdr l car l)))
(de foo x plus foo sub1 x foo sub1 x)))
(de foo x times foo sub x fo sbu1 x))))
(de foo x quo x foo sub1 x)))))
(de rev l1 l2 ((null l1) l2)(t (rev l1 cons car l1 l2))))))
(de addit m n ((zerop n) m)(t (addit m add1 n)))))))
(de rev l1 l2 ((null l2) l1)(t (rev l1 cons car l1 l2))))))))))
(de fact n times n fact n)))))))
(de addit m n ((zerop m) n)(t addit m add1 n))))))))
(de addit m n (cond ((zerop n) m))(t (addit sub1 m add1 n))))))))
 (DE FOO A WHILE CDR CDR A PRINT CAR A)) 

 (DE FOO A B IF NULL A B IF NULL B A FOO CDR A CDR B)

 (DE FOO A B WHILE GT A B SETQ A SUB1 A SETQ B SUB1 B)

 (DE FOO A B WHILE LT A B SETQ A ADD1 A SETQ B ADD1 B)

 (DE FOO A B WHILE LT A B SETQ (A (PLUS A 2) ) SETQ B PLUS B 2)))
 (DE FOO A B WHILE NULL ZEROP A PRINT A))
(de foo x y while lt x y setq x differ x 5 setq y sub1 x)))
                                                    
                                                             )))))